Eléments de l'association

	Occitanie (région administrative)	150
	Olivier Gasquet	3
	Occitanie (région administrative) *Sauf* Olivier Gasquet"	147
	Olivier Gasquet *Sauf* Occitanie (région administrative)"	0
	Occitanie (région administrative) Et Olivier Gasquet	3
	Occitanie (région administrative) Ou Olivier Gasquet	150
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 3.

Ident.	Authors (with country if any)	Title
002638	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Satoulouse : The Computational Power of Propositional Logic Shown to Beginners
002655	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
002730	Olivier Gasquet [France] ; François Schwarzentruber [France]	Concrete Epistemic Modal Logic: Flatland

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022